基于软件体系结构的侧面化构件建模技术研究

【摘要】虽然面向侧面程序设计方法(Aspect-OrientedProgram,AOP)的出现较好地解决了面向对象程序设计中存在的代码缠结(tangling)和散射(scattering)问题，但由于它只是系统实现层面的技术，而现有成熟的软件分析和设计方法多数又不支持横切关注点在系统高层设计模型中的分离和表示，制约了面向侧面软件开发方法的实际应用规模和范围。本文的研究以软件体系结构(SoftwareArchitecture，SA)为切入点，分析构件粒度的系统横切关注点的属性和特征，扩展AOP相关概念和应用范围，向基于SA的构件模型中引入面向侧面的理念，在系统分析和设计阶段对SA、CBSD（基于构件的软件开发）和AO三种技术之间的联系以及它们的融合进行深入研究，并对融合后的系统高层设计模型进行形式化描述和分析，为最终面向侧面的模型驱动软件开发和维护相关研究提供模型和方法论的支持。主要研究成果包括三个方面：一、构件模型的侧面化基于SA概念框架，向传统的构件模型中引入一个新的一阶实体——“构件型侧面”，专门用以封装和表示影响多个业务构件逻辑的横切关注点，具体成果包括：1、定义了基于软件体系结构的侧面化构件模型SABACM(SoftwareArchitectureBasedAspectualComponentModel)。它整合了SA、CBSD和AO的特点，使得开发者在软件分析和设计阶段就可以实现构件粒度的系统横切关注点分离，并指导后续的面向侧面代码生成及维护，同时，利用模态行为逻辑和π演算对模型进行了形式化分析。2、设计了一种面向侧面的软件体系结构描述语言A-ADL用以描述SABACM模型。A-ADL被分成两个抽象层面：类型和配置，因此，模型在类型层面所定义的元素可以被储存，并在配置层面上多次复用。3、定义了SABACM的元模型。它由一组相互关联的元类组成，这些元类为模型中的每一个概念定义了属性集和服务集，元类和元类之间的关系为描述SABACM的静态结构提供了必要的信息，同时元模型也定义了在建模过程中必须要满足的约束条件。二、侧面结构的构件化SABACM模型中的“构件型侧面”是一种构件粒度的应用系统横切关注点封装结构，作为模型中的核心概念，需要对它作进一步的研究，具体成果包括：1、作为引入软件体系结构模型的一阶实体，构件型侧面在结构上和传统构件有类似的属性，可分为原子（简单的）构件型侧面和组合的构件型侧面。由于组合的构件型侧面结构复杂，因此对它进行专门的研究，探讨和分析了其内部多个原子构件型侧面之间存在的组合（织入）关系，设计了组合的构件型侧面实现框架。2、为描述组合的构件型侧面内部多个原子构件型侧面之间的织入关系，在构件层面上定义了一种抽象的、独立于具体实现技术的通用切点描述语言(GeneralPointcutDescriptionLanguage,GPDL)。3、基于组合的构件型侧面实现框架，对现实应用系统中常见横切关注点（以移动性和分布式为例）进行分析，使用GPDL定义它们内部原子构件型侧面的织入方法，验证GPDL在常见横切关注点分析设计中的描述能力。三、复杂应用系统的SABACM建模步骤和方法以一类移动分布式系统的分析和设计为例，给出SABACM建模的具体步骤和方法，以此指导分析和设计人员在软件应用系统开发过程中的行为，并为应用系统整个生命周期中各个阶段间的平滑过渡提供方法论上的支持。
【作者】苏旸；
【导师】陈平；
【作者基本信息】西安电子科技大学，计算机应用技术，2012，博士
【关键词】面向侧面；软件体系结构；构件模型；体系结构描述语言；元模型；

【参考文献】
[1]许伟.城市土地集约化利用及其评价研究[D].重庆大学,2004.
[2]苟波.CFG桩—碎石桩组合型复合地基工程特性研究[D].西南交通大学,岩土工程,2014,硕士.
[3]赵美.区域产业同构化对人力资本区域配置的影响研究[D].山东财经大学,企业管理,2013,硕士.
[4]赵文慧.我国推行税收执法责任制的实践及对策研究[D].华中师范大学,公共管理,2012,硕士.
[5]郝青丽,夏锡锋,王文娟,雷武.高性能石墨烯/金属氧化物/导电高分子复合电极材料[A].国家自然科学基金委员会、中国化学会.第六届全国物理无机化学会议论文摘要集[C].国家自然科学基金委员会、中国化学会:,2012:1.
[6]毛保华,郭谨一,陈振起,高利平.大型活动期间城市交通组织方法研究[J].交通运输系统工程与信息,2007,01:18-24.
[7]刘梦.七芯光子晶体光纤结构设计与超模分析[D].燕山大学,检测技术与自动化装置,2013,硕士.
[8]唐志超.中国民营高科技企业的国际化战略研究[D].北京交通大学,工商管理（专业学位）,2013,硕士.
[9]连尉平.铲形逆断层和平行逆断层体系的破裂特征[D].中国地震局地球物理研究所,固体地球物理学,2014,博士.
[10]罗贤贵.民族地区乡村留守妇女现状与社会经济发展困境研究[D].贵州民族大学,社会学,2012,硕士.
[11]曲晶.重组人促红细胞生成素对眼挫伤后大鼠视网膜保护作用机制[D].辽宁医学院,眼科学,2012,硕士.
[12]李小荣.我国石油企业社会责任会计信息披露问题研究[D].东北财经大学,会计学,2012,硕士.
[13]雷楚.基于ARP协议的网络信息过滤系统[D].浙江工业大学,电子与通信工程,2012,硕士.
[14]阎婧.北京市南山滑雪场发展现状研究[D].首都体育学院,体育人文社会学,2013,硕士.
[15]王晓芳,李宁,丁雯,谭美霞.通风技术在职业病危害防治中的应用[J].预防医学论坛,2014,05:361-363+365.
[16]彭予咸.茶园营养调控对名优茶鲜叶理化特性的影响研究[D].西南大学,茶学,2013,硕士.
[17]盛振东,张其善.由方向乘运算实现的三值逻辑乘法器的研究[J].自动化学报,1991,06:749-751.
[18]杨雷明.信号处理中无源定位的分析与研究[D].西安电子科技大学,信号与信息处理,2012,硕士.
[19]左一鸣.基于GIS的水环境信息管理系统研发[D].河海大学,水文学及水资源,2004,硕士.
[20]王源.星巴克广告变迁分析[D].四川外国语大学,英语语言文学,2014,硕士.
[21]陈清才.基于粗集的汉语建模及其应用研究[D].哈尔滨工业大学,2003.
[22]黄超.车铣复合加工曲轴的研究[D].北京交通大学,2013.
[23]熊学军,虞浩.芜湖长江大桥的建设[J].中国铁路.2001(01)
[24]李挺,高莉,秦杰,毛星剑.长玻纤增强聚丙烯复合材料研究进展[J].广东化工,2014,07:125+127.
[25]高攀.基于LS-SVR模型的煤与瓦斯突出预测系统研究[D].辽宁工程技术大学,控制理论与控制工程,2012,硕士.
[26]邓平.基于Google和Autodesk系列软件的中小型园林景观规划设计[D].山东大学,软件工程（专业学位）,2013,硕士.
[27]张华.《丛林之书》的后殖民主义解读[D].河北师范大学,英语语言文学,2013,硕士.
[28]余黄生.最优（v，｛3，5｝，1，Q）-OOCs的组合构造[D].广西师范大学,基础数学,2013,硕士.
[29]刘海情.龟鳖类系统进化及蛇鳄龟养殖群体的遗传多样性研究[D].广东海洋大学,水产养殖,2013,硕士.
[30]崔骁勇,杜占池,王艳芬.内蒙古半干旱草原区沙地植物群落光合特征的动态研究[J].植物生态学报,2000,05:541-546.
[31]李瑞苗.网络零售商在不同批发价格策略下的最优定价策略[D].清华大学,管理科学与工程,2013,硕士.
[32]袁小凌.3-MA和PDTC联合应用对大鼠急性胰腺炎协同保护作用的实验研究[D].苏州大学,内科学,2013,硕士.
[33]袁婷.深圳网信联动公司销售员工绩效考核改进研究[D].湖南大学,工商管理,2013,硕士.
[34]蔡涛.幽门螺杆菌感染致慢性荨麻疹的免疫机制研究[D].重庆医科大学,皮肤性病学,2004,硕士.
[35]贾惠彬,赵海锋,方强华,刘涛,戚宇林.基于多端行波的配电网单相接地故障定位方法[J].电力系统自动化,2012,02:96-100.
[36]袁园.AB家具公司市场营销策略研究[D].西南交通大学,工商管理,2013,硕士.
[37]云美厚.地震分辨力与信噪比无关[J].石油地球物理勘探,2009,03:379-383+386+256.
[38]刘春宇.基于立体视觉的物体简化三维点云模型库的研究[D].河北工业大学,机械工程,2013,硕士.
[39]徐潇.初中阅读教学中学生思维发展研究[D].苏州大学,学科教学（专业学位）,2013,硕士.
[40]巫东浩.国际高速公路投资体制改革及对我国的启示[J].未来与发展.1996(06)
[41]周云霞.基于数据流的油水井工况趋势分析方法研究[D].东北石油大学,石油工程计算技术,2013,硕士.
[42]李雄飞,苑森淼,董立岩,全勃.多段支持度数据挖掘算法研究[J].计算机学报,2001,06:661-665.
[43]王晶晶.高校思想政治教育的基础[D].中北大学,思想政治教育,2014,硕士.
[44]孙琳琳.从“幕后”到“台前”[D].云南艺术学院,美术学,2013,硕士.
[45]牛旭.高斯噪声下的余数系统[D].兰州大学,计算数学,2012,硕士.
[46]古正涛.线粒体途径介导热打击诱导人脐静脉内皮细胞凋亡的研究[D].南方医科大学,急诊医学（专业学位）,2014,博士.
[47]苏佩衡.学生民事权利实现法律问题研究[D].吉林大学,民商法学,2004,硕士.
[48]贾鹏宇,李艳,郑琼林.电压型级联系统中减小源变换器输出阻抗的有源阻尼控制方法[J].电工技术学报,2015,08:71-82.
[49]鲍世静.铅酸蓄电池剩余容量预测研究和工程应用[D].西安电子科技大学,控制理论与控制工程,2012,硕士.
[50]罗智超.针刀治疗腰椎间盘突出症的临床随机对照研究[D].北京中医药大学,针灸推拿学,2014,硕士.